Seyyid Nesîmî Dosdoğru Yol Romanında Zaman Mekân Hâl

Zaman Tetikli Almaç Planlayıcı Yazılım Bileşeni Tasarımı

Büyüyen Kısmi Yol Kısıtlarıyla Konkolik Test

Özet. Otomatik birim testler sayesinde programlar n kapsama oran n artt rmak mümkündür. Konkolik test metodu (concolic testing) otomatik birim test yarat m için kullan lan bir yaz l m testi tekni§idir. Ancak, yol patlamas (path explosion) ve k s t çözümlerinin (constraint solving) yaratt § darbo§az nedeniyle, ölçeklenebilir bir otomatik konkolik testçi geli3tirmek zor olmu3tur. Bu tekni§i ölçek...

Efficient Prediction of Marsaglia-Zaman Random Number Generators

We show that the random number generator of Marsaglia and Zaman produces the successive digits of a rational -adic number. (The -adic number system generalizes -adic numbers to an arbitrary integer base .) Using continued fractions, we derive an efficient prediction algorithm for this generator.

Rüzgar Hassas Seyir Fazı Uçuş Planlaması Eniyilemesine Dinamik Yaklaşım - Gerçekleştirim ve Sonuç

Öz: Bir Uçuş Yönetim Sistemi (UYS) 4 boyutlu uçuş planlaması gerçekleştirmektedir; Yatay Planlama (Uçuş Kontrol Noktalarının enlem ve boylamlarının hesaplanması), Dikey Planlama (Uçuş Kontrol Noktalarının yüksekliklerinin hesaplanması) ve Zaman Planlaması (Uçuş Kontrol Noktalarına tahmini varış zamanı). 4 boyutlu uçuş planlamasının doğru ve hassas olarak yapılması ve sonrasında uçağın rotayı be...

Parçacık süzgeci ile biyomedikal görüntü zaman serisi çakıştırma Biomedical image time series registration with particle filtering

We propose a family of methods for biomedical image time series registration based on Particle filtering. The first method applies an intensity-based information-theoretic approach to calculate importance weights. An effective second group of methods use landmark-based approaches for the same purpose by automatically detecting intensity maxima or SIFT interest points from image time series. A b...